Typed parametric polymorphism for aspects
نویسندگان
چکیده
منابع مشابه
Typed parametric polymorphism for aspects
We study the incorporation of generic types in aspect languages. Since advice acts likemethod update, such a study has to accommodate the subtleties of the interaction of classes,polymorphism and aspects. Indeed, simple examples demonstrate that current aspect com-piling techniques do not avoid runtime type errors.We explore type systems with polymorphism for two models of param...
متن کاملParametric Polymorphism for Typed Prolog and Prolog
Typed Prolog and Prolog are logic programming languages with a strict typing discipline which is based on simple types with variables. Experiments show that this discipline does not handle properly common logic programming practices used in Prolog. For instance, the usual transformation for computing the Clark completion of a Prolog program does not work well with some typed programs. We observ...
متن کاملParametric Types for Typed Attribute-Value Logic
Parametric polymorphism has been combined with inclusional polymorphism to provide natural type systems for Prolog (DH88), HiLog (YFS92), and cofistraint resolution languages (Smo89), and, in linguistics, by HPSG-tike grammars to classify lists and sets of linguistic objects (PS94), and by phonologists in representations of hierarchical structure (Kle91). This paper summarizes the incorporation...
متن کاملLightweight Parametric Polymorphism for Oberon
Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports the former. We describe a simple extension to Oberon to support parametric polymor-phism. The extension is in keeping with the Oberon language: it is simple and has an explicit cost. In the paper we motivate the need ...
متن کاملA Logic for Parametric Polymorphism
In this paper we introduce a logic for parametric polymorphism. Just as LCF is a logic for the simply-typed -calculus with recursion and arithmetic, our logic is a logic for System F. The logic permits the formal presentation and use of relational parametricity. Parametricity yields|for example|encodings of initial algebras, nal co-algebras and abstract datatypes, with corresponding proof princ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2006
ISSN: 0167-6423
DOI: 10.1016/j.scico.2006.02.008